it may not be a pity that

不遺憾